Prove (cos x cos y)^2 (sin x - sin y)^2 = 4 cos^2((x y)